Dynamic Deductive Data Bases With Steady Behaviour
نویسندگان
چکیده
We consider deductive databases with updates and integrity constraints and introduce a new notion that of bounded disturbance of an active medium. In these terms we define several types of notions of steady behavior of such deductive databases, which may open up new classes of applications of logically controlled databases. In this work we explore computational complexity of the concepts introduced .
منابع مشابه
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reducing the complexity of formula evaluation at run-time. This paper proposes such a simplification method for large and semantically rich knowledge bases. Structural, temporal and assertional knowledge in the form of deduc...
متن کاملBehaviour of Humans and Behaviour of Models in Dynamic Space
This paper addresses new trends in quantitative geography research. Modern social science research – including economic and social geography – has in the past decades shown an increasing interest in micro-oriented behaviour of actors. This is inter alia clearly reflected in spatial interaction models (SIMs), where discrete choice approaches have assumed a powerful position. This paper aims to p...
متن کاملA formal Method for the Synthesis of Update Transactions in Deductive Databases without Existential Rules
We propose a new method for generating consistency-preserving transaction programs for (view-)updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database dynamic behaviour in front of a database update. At transaction-design-time, a formal procedure can use these rules to automatically...
متن کاملAn Approach to the Synthesis of Update Transactions in Deductive Databases*
We propose a new method for generating consistency-preserving transaction programs for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database dynamic behaviour in front of a database update. At transaction-design-time, a formal procedure can use these rules to automatically...
متن کاملDynamic Process Modeling Using Fuzzy Submodels
This article discusses a new modular design approach for hybrid models consisting of a dynamic framework augmented with static fuzzy sub-models. As the framework is physically based, the models have a dynamic behaviour that corresponds well with the original process. Their fit to process data assures good steady state behaviour and corrects the dynamic behaviour for assumptions and simplificati...
متن کامل